The structure of a type safe operating system
نویسنده
چکیده
The architecture of traditional operating systems relies on address-based memory protection. To achieve flexibility at a low cost operating system research has recently started to explore alternative protection mechanisms, such as type safety. This dissertation presents an operating system architecture that completely replaces address-based protection with type-based protection. Replacing such an essential part of the system leads to a novel operating system architecture with im-The dissertation describes not only the design of such a system but also its prototype implementation and the performance of initial applications, such as a file system, a web server, a data base management system, and a network file server. The prototype, which is called JX, uses Java bytecode as its type-safe instruction set and is able to run existing Java programs without modifications. The system is based on a modular microkernel, which is the only part of the system that is written in an unsafe language. Lightweight protection domains replace the heavyweight process concept of traditional systems. These domains are the unit of protection, resource management, and termination. Code is organized in components that are loaded into domains. The portal mechanism—a fast inter-domain communication mechanism—allows mutually distrusting domains to cooperate in a secure way. This dissertation shows that it is possible to build a complete and efficient general purpose time-sharing operating system based on type safety. 1.1 Robustness, security, and reliability 2 1.2 Configurability, reusability, and dedicated systems 2 1.3 Extensibility and fine-grained protection 3
منابع مشابه
A Survey of Healthcare Team Work and its Related Factors in Operating Room
Introduction: Effective healthcare team among healthcare providers is important to improve the quality of services and to provide safe and effective care. The purpose of this study was to evaluate the of healthcare team work and its related factors in operating room Methods and Materials: The current study is a descriptive-analytic study and the study population consisted of 217 healthcare pro...
متن کاملInvestigation of operating room personnel's attitude regarding teamwork skill in educational hospitals of Jahrom University of Medical Sciences: A cross- sectional descriptive study
Introduction: In the health system, teamwork is important to improve the quality of services and it provides safe and effective care. The operating room as an environment with a high risk of medical errors and performing coordinated activities and careful planning of surgeries requires high levels of teamwork for safe operation. Therefore, the present study was conducted to investigate the atti...
متن کاملA Navigation System for Autonomous Robot Operating in Unknown and Dynamic Environment: Escaping Algorithm
In this study, the problem of navigation in dynamic and unknown environment is investigated and a navigation method based on force field approach is suggested. It is assumed that the robot performs navigation in...
متن کاملFluid Dynamics Investigation of a GDI Fuel Spray by Particle Image Velocimetry
In this work, result of experimental investigation on interaction of fuel spray generated by a swirled type injector, with air motion in a prototype cylinder are presented. Experiments were carried out by planar imaging and particle image velocimetry (PIV) techniques in order to provide information about the spray structure evolution and instantaneous velocity distribution of air motion and ...
متن کاملاولویتبندی ریسک خطرات مربوط به بیمار در واحدهای درمانی با مدل تحلیل سلسله مراتبی مطالعه موردی یک بیمارستان آموزشی–درمانی
Introduction: One of the most important challenges of health system in all countries is patient safety risks. That reduces ensures of patient safety. So, recognition of these incidents, categorize and prioritize them in order to formulate policy interventions should be considered. Methods: This cross-sectional study was carried out in clinical wards of an Educational- Therapeutic Hospital in...
متن کاملبهرهبرداری بهینۀ اقتصادی از سیستم انعطافیافتۀ تولید همزمان برق، حرارت و سرما
Optimal operation of the combined heat and power system (CHP) depends on the degree of its flexibility and type of operation. So, the financial and technical challenges both in choosing and economic operation of these systems will be raised. In this paper, at first, a CHP system, including auxiliary boiler, absorption and auxiliary cooling system, has change to a flexible system by adding therm...
متن کامل